41. Automata, languages and programming: 18th International Colloquium, Madrid, Spain, July 8-12, 1991 proceedings
Author:
Library: Central Library of Sharif University of Technology (Tehran)
Subject: ، Machine theory--Congresses,، Formal languages--Congresses,، Programming )Electronic Computers(--Congresses
Classification :
QA
267
.
A9228
1991
42. Automata, languages and programming 13th International Colloquium Rennes, France, July 15-19, 1986
Author: edited by Laurent kott
Library: Central Library and Documentation Center (Kerman)
Subject: Congresses ، Sequential machine theory,Congresses ، Formal languages,Congresses ، Programming languages )Electronic computers(
Classification :
QA
76
.
L4
v
.
226
43. Automata, languages and programming : 13th International Colloquium ,Rennes, France, July 15-19, 1986 : Proceedings
Author: edited by Laurent Kott
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، Machine theory,Congresses ، Formal languages,Congresses ، Computer programming
Classification :
QA
76
.
L28
Vol
.
226
44. Automata, languages, and programming : 16th International Colloquium, Stresa, Italy, July 11-15, 1989 : Proceedings
Author: G. Ausiello, M. Dezani-Ciancaglini, S. Ronchi Della Rocca, eds
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، Machine theory,Congresses ، Formal languages,Congresses ، Computer programming
Classification :
QA
76
.
L28
Vol
.
372
45. Automata, languages and programming : 15th International Colloquium, Tampere, Finland, July 11-15, 1988 : Proceedings
Author: Timo Lepisto, Arto Salomaa )eds.(
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، Machine theory,Congresses ، Formal languages,Congresses ، Computer programming
Classification :
QA
76
.
L28
Vol
.
317
46. Automata, languages and programming. 6th colloquium, Graz, Austria, July 16-20, 1979
Author:
Library: Central Library of Sharif University of Technology (Tehran)
Subject: Congresses ، Sequential machin theory,Congresses ، Formal languages,Congresses ، Programming languages )Electronic computer(
Classification :
QA
267
.
5
.
S4
.
C63
1979
47. Automata, languages, and programming: 12th colloquium, Nafplion, Greece, July 15-19, 1985
Author:
Library: Central Library of Sharif University of Technology (Tehran)
Subject: Congresses ، Machine theory,Congresses ، Formal Languages,Congresses ، Programming languages )Electronic computers(
Classification :
QA
267
.
I55
1985
48. Automata, languages and programming : 28th international colloquium, ICALP 2001, Crete, Greece, July 8-12, 2001 : proceedings
Author: Fernando Orejas, Paul G. Spirakis, Jan van Leeuwen, )eds.(
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، Machine theory,Congresses ، Formal languages,Congresses ، Computer programming
Classification :
QA
76
.
L28
Vol
.
2076
49. Automata, languages and programming : 18th international colloquium, Madrid, Spain, July 8-12, 1991 : Proceedings
Author: J. Leach Albert, B. Monien, M. Rodriguez Artalejo )eds.(
Library: Library of College of Science University of Tehran (Tehran)
Subject: Congresses ، Machine theory,Congresses ، Formal languages,Congresses ، Computer programming
Classification :
QA
267
.
I5
1991
50. Automata, languages, and programming : 19th international colloquium, Wien, Austria, July 13-17, 1992 : proceedings
Author: W. Kuich )ed.(
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، Machine theory,Congresses ، Formal languages,Congresses ، Computer programming
Classification :
QA
76
.
L28
Vol
.
623
51. Automata theory and formal languages : 2nd GI Conference, Kaiserslautern, May 20-23, 1975
Author: edited by H. Brakhage on behalf GI
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، Machine theory,Congresses ، Formal languages
Classification :
QA
76
.
L28
Vol
.
33
52. Automata theory and formal languages : 2nd GI conference, Kaiserslautern, May 20-23, 1975
Author: edited by H. Brakhage on behalf of GI
Library: Library of College of Science University of Tehran (Tehran)
Subject: Congresses ، Machine theory,Congresses ، Formal languages
Classification :
QA
267
.
A924
53. Automata theory and formal languages : 2nd GI conference, Kaiserslautern, May 20-23, 1975
Author: edited by H. Brakhage on behalf of GI
Library: Central Library and Documentation Center (Kerman)
Subject: Congresses ، Machine theory,Congresses ، Formal languages
Classification :
QA
76
.
L4
v
.
33
54. Automate theory and formal languages, 2nd GI Conference, Kaiserslautern, May 20-23, 1975
Author:
Library: Central Library of Sharif University of Technology (Tehran)
Subject: Congresses ، Machin theory,Congresses ، Automata,Congresses ، Formal languages
Classification :
QA
267
.
A98
55. Computer oriented learning processes : )proceedings of the NATO Advanced Study Institute on Computer Oriented Learning Processes(
Author: edited by J. C. Simon
Library: Central Library and Documentation Center (Kerman)
Subject: Congresses ، Artificial intelligence,Congresses ، Probabilistic automata,Congresses ، Formal languages
Classification :
Q
334
.
N37
1976
56. Descriptional Complexity of Formal Systems
Author: \ Jeffrey Shallit , Alexander Okhotin (Eds.)
Library: Library of Foreign Languages and Islamic Sources (Qom)
Subject: Formal methods (Computer science) -- Congresses.,Formal languages -- Congresses.,روشهای صوری (کامپیوتر) -- کنگره ها ,زبانهای صوری -- کنگره ها
Classification :
QA
76
.
9
.
D4
2015
E-Book
,
57. Descriptional complexity of formal systems :
Author:
Library: Central Library and Documents Center of Mazandaran University (Mazandaran)
Subject: Formal languages ; Congresses. ;
58. Descriptional complexity of formal systems :
Author:
Library: Central Library and Documents Center of Mazandaran University (Mazandaran)
Subject: Formal languages ; Congresses. ;
59. Descriptional complexity of formal systems :
Author: Martin Kutrib, Nelma Moreira, Rogério Reis (eds.).
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Formal languages -- Congresses.,Formal methods (Computer science) -- Congresses.,Machine theory -- Congresses.
60. Descriptional complexity of formal systems :
Author: Markus Holzer, Martin Kutrib, Giovanni Pighizzini (editions.)
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Formal languages, Congresses,Formal methods (Computer science), Congresses,Machine theory, Congresses
Classification :
QA267
.
3
.
D34
2011
